A Quantitative Approach to Functional Debugging
ثبت نشده
چکیده
Functional debugging dominates both development time and cost of modern design process. Two dominant debugging techniques are simulation and emulation. Neither of them provides an adequate debugging solution. Design simulation is two to ten orders of magnitude slower than functional execution with respect to the fabricated design. Design emulation and fabrication provide high execution speed, but also demonstrate very serious disadvantage: they signiicantly restrict the observability and controllability of majority of variables in the design. To facilitate debugging, in particular error detection, we introduce a novel cut-based functional debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Therefore, we leverage on the advantages of both debugging domains in order to provide fast functional debugging as well as full observability and controllability of all variables. Emulation or functional implementation is used for fast application execution during debugging, while simulation provides complete observability and controllability. The eeective implementation of the new debugging approach poses several CAD tasks. We formulate the optimization tasks, establish their complexity, and develop least-constraining most-constrained heuristics to solve them. The eeciency and eeectiveness of the new approach and accompanying algorithms is demonstrated on a set of designs where full observability and con-trollability are accomplished with low hardware overhead.
منابع مشابه
A Debugging Environment for Lazy Functional Languages
This paper describes a new approach for debugging lazy functional languages. It rests on the fact that a functional program is the transformation of an expression; one debugs a program by investigating the syntactic form of the expression and by stopping the reduction process at given points. We show what problems are involved and our approach to solving them in a prototype implementation.
متن کاملA Debugging Environment for Lazy Functional
This paper describes a new approach for debugging lazy functional languages. It rests on the fact that a functional program is the transformation of an expression; one debugs a program by investigating the syntactic form of the expression and by stopping the reduction process at given points. We show what problems are involved and our approach to solving them in a prototype implementation.
متن کاملProbabilistic Declarative Debugging
We present a probabilistic approach to the search strategy for declarative debugging. We focus on diagnosing wrong answers in pure Prolog programs but the approach can be adapted to other languages (for example, functional languages) and bug symptoms. Drawing information from source code and the execution of passed and failed test cases, different search heuristics are combined using probabilit...
متن کاملIntegrating functional modeling and trace-driven parallel debugging
For analyzing parallel and distributed programs, a systematic method for understanding the complex dynamic behavior of concurrent process interactions and dependencies is a must. Integrating functional modeling and trace-driven post-mortem debugging, we have developed a new approach for debugging parallel programs. Bevor executing measurements, a model is created for defining events systematica...
متن کاملAn Interdisciplinary Approach to Functional Prototyping for Mechatronic Systems using Multi-Domain Simulation with Model-Based Debugging
Automotive products carry a high level of mechatronic (electromechanical) components. Mechanical operations are controlled by embedded software that runs on electronic devices. The ever increasing complexity of electronic products of modern cars like drive-by-wire systems means that a very broad range of simulation must be used in the early phases of the development process to predict the produ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997